Cln1<R151X> Ppt1<tm1.1Dprc> targeted mutation 1.1, David Pearce MGI:5585301 http://identifiers.org/mgd/MGI:5585301 Humanized sequence